#include <stdio.h>
void name()
{
printf("Hello\t%s", "world!\n");
}
